On Stratified Regions
نویسنده
چکیده
Type and effect systems are a tool to analyse statically the behaviour of programs witheffects. We present a proof based on the so called reducibility candidates that a suitablestratification of the type and effect system entails the termination of the typable programs.The proof technique covers a simply typed, multi-threaded, call-by-value lambda-calculus,equipped with a variety of scheduling (preemptive, cooperative) and interaction mecha-nisms (references, channels, signals).
منابع مشابه
Coverage Estimation Methods for Stratified Fault Injection
ÐThis paper addresses the problem of estimating fault tolerance coverage through statistical processing of observations collected in fault-injection experiments. In an earlier paper, various estimators based on simple sampling in the complete fault/activity input space and stratified sampling in a partitioned space were studied; frequentist confidence limits were derived based on a normal appro...
متن کاملNegative impacts of mine exploitations on rural regions of Tekab Township
This descriptive analytical survey was aimed to study the negative impacts of mine exploitations carried out in the rural regions of the Tekab Township located in Iran. The statistical population of the studied areas consisted of all the heads of the rural households in the villages located in the vicinity of the mines in the Tekab Township (N=2680). According to the Cochran formula, a sample s...
متن کاملمدلسازی عددی جریانهای لایهبندی شدهی غیرهمسان با استفاده از مدل آشفتگی صریح جبری تنش رینولدز
Flows of natural hydro-environments are usually turbulent and mostly stratified, like the flows in lakes, reservoirs, estuaries and atmosphere to name a few. In stratified flows due to the buoyancy forces, the turbulent stresses are usually non-isotropic. Therefore the accuracy of the numerical simulations for such flows is highly dependent on the turbulence model and the implementation of non-...
متن کاملWere genome-wide linkage studies a waste of time? Exploiting candidate regions within genome-wide association studies.
A central issue in genome-wide association (GWA) studies is assessing statistical significance while adjusting for multiple hypothesis testing. An equally important question is the statistical efficiency of the GWA design as compared to the traditional sequential approach in which genome-wide linkage analysis is followed by region-wise association mapping. Nevertheless, GWA is becoming more pop...
متن کاملExpression of simple epithelial type cytokeratins in stratified epithelia as detected by immunolocalization and hybridization in situ
Multi-layered ("stratified") epithelia differ from one-layered ("simple") polar epithelia by various architectural and functional properties as well as by their cytoskeletal complements, notably a set of cytokeratins characteristic of stratified tissue. The simple epithelial cytokeratins 8 and 18 have so far not been detected in any stratified epithelium. Using specific monoclonal antibodies we...
متن کاملThe Impact of Organizational Culture on Organizational Silence and Voice of Faculty Members of Islamic Azad University in Tehran
Organizational voice and silence are two intertwined strategies in organizations. Organizational voice is an appropriate communicational tool in order to improve the organization. On the other hand, silence can have destructive effects on the decision-making process and organizational changes. Organizational culture is the important factor which facilitates ways of expressing ideas by employees...
متن کامل